$\forall$${\it the\_es}$:ES, $e$:E, $l$:IdLnk. ($\uparrow$haslnk($l$;$e$)) $\Leftarrow\!\Rightarrow$ (($\uparrow$isrcv($e$)) c$\wedge$ (lnk($e$) = $l$))